Minor style & documentation fixes