Minor fixes to documentation and comments