Some minor documentation update