Fixed #8518 -- Fixed some markup problems in the widget documentation. Thanks,