Acknowledged.  Changing this requires also changing about 10 other places (in sce.js and sceSpecs.js) so let's do that in a separate commit.