Minor documentation update