minor bug fix (html editor included)