Fix stupid mistake on headers