bugfix during dex serialization