Fix for buggy vermagic
Fix for buggy vermagic