Small comment edit.