fixing up (HTML) formatting