bugfix Spoofax-Modelware/8