A minor documentation update.