Fixed minor glitches in the docs