Fixing a typo in the header