update for 0.8.3 (bug fix for html generator)