Slate fixed one bug, introduced other, so I remove the workaround...