First bug discovered as a result of global-removal: pasting into