Keeping rascal-1.04 in sync with demos (but change isn't used by red)