adds missing header