Fix silly typo in header comment