repair indentation in Head constructor