small typo and fixes to docs, fixes #383