Fix bug with getSolvedProblems() parameters.