Fix embarrassing error in comment