minor: error in comment