fixed a typo in the headers