readtokens.c: adjust wording in a comment