html2jade.py fix