Really convert the problem titles to headers this time