fix hour-old bug in input

Hm, python ``2to3`` told me to wrap the ``input()`` call in an
``eval()`` call, but that caused an error.  Reverting.