bugfix in obfus