When inventors are wrong, a certificate of correction can set things right—if the specification is robust