minor changes to HTML5ModelConverter.py