Fixed typo in last commit.

Somehow, I managed to delete the start of a comment at the start of the
file. :-(