Fixed an old comment in the text header