minor bugfix regarding userInput