re-applied fix to #1202

The fix in e203ae5247360bb5eb95dc6c1c84780ae2570409 got lost in
fc50b0decc666c14141a5528fbcf4dce3de5fec5. (In the original fix it is
<h3>.)