Correct `with_promise.html` example