Clarified line about html_output