Fixed a small error with ProblemSet Manager.