problem.hxx: fix branching error when displaying problem
Synchronize Travis