Fixed a bug in problem-rank.