Fix error in header