added language feature & restored DUMP comment in HTML dump