Added highlighted lines to while_input; better.