lib: fix .redAdd(), .redSub()