Small bug fixes in bin/run-example