removed unneeded header which was accidentally committed