try to fix copy/paste for console; doesn't work yet...