Fix up something that doesn't make any difference