Add missing header. Refs #8442.