Res.equals() changed