I don't think we need to log in the not-set case. (here and below)