Fix a public header issue