Bugfixes to the Library Browser in the Homework Manager.