Read the comment in userInput.cpp