There's a couple minor rendering bugs in the documentation, e.g., 