Issue #80: bug for pasting when the clipboard is empty fixed