[cleanup] Minor.