Misc documentation fixes