Fix problems with parsing problem instance