Fix optimization in with-html-stream-output.