Fixes cwi-swat/rascal#525.