Fix bug in supposedly fixed put_problem()