fix example in WebAssembly moduledoc