Fix to example in IDDFS Python post.