Correction about currying