This is defined in two places.