small tweak for ctrl+v