Expanded vegetarian option at dining hall is popular