Fix a typo in problem.h Thanks as usual to William Rucklidge. Change-Id: If6e8628841ee7fa8978ec56918a80d60b4ff660e