stray bit of HTML in the library?