fixes issue 320 further (ctrl+c for copy from terminal)