Fix for buggy vermagic