minor typo in header
that's odd...