fix errant <p> tag reported in #40