make check-thes: check for a strange hidden char