minor additions in problems.html