Fix missing header