Add missing header.