Fixes to highlighting problems in a problem set in the library browser.