Fix small issues under Mac OS (backspace and clipboard)