Minor style/documentation revisions