Proposed fix for issue cwi-swat/rascal#425