Fixed a change I accidentally reverted

It's just a change in a comment; nothing that important.