fix extraneous HTML bug