Issue #80: cut and paste correctly handled