minor adjustment in UserInputValidator