Petty change in comment