Minor change to the muRascal syntax.