TS/JPM: fixed markup for html titles to be well-formed.