Fixed the name of the header file (the previous name was a typo).