Fix breakage in wavefrontsScript.sml caused by 114e7df