fix syntax error in header