Normal gen_server termination even if user input was erroneous