fix small ClipboardPush error that shouldn't ever happen