Be explicit about calling javascript, even though it should be obvious
to the browser.