Corrected header name

I was confused until I inspected the code. :)