A cheat to get around the fact we don't handle EOF after ? yet...