fix VexToggle mapping