Fix encoding on comment saying that we should force UTF-8