already checked in the constructor.