Fix minor error in header