fix a miss-typed header