Upgrade to space-pen 3.4.2