fix accidental double pasting