fix spurious == errors on console.pl input