REDME corrections