Various trivial tweaks to asmScript.