#33: fixed copy-to-clipboard function