Minnor fix in header