fix an error related to the last change of this class.