Misc. documentation update