Documentation corrections

Fixes #53 and #54