formal modification - comment concerns redis