another consistency fix to readInput()