The Halloween-themed entrance to the Howard Dining Hall on Oct. 31.

The Halloween-themed entrance to the Howard Dining Hall on Oct. 31.