fix terminal pasting