correct a typo in the docs, fix a formatting issue