More html-correct definition