Deleted some useless code in the header.