fix issue #15: capitalized words supplied to user_input weren't working correctly