A minor documentation update