Fix up a couple of issues in the documentation