Fix bug in supposedly fixed put_problem()
Merge branch 'master' into gh-pages