Very minor comment update