Misc documentation update