Include missing header