Minor fixe in header