Fix typo in CBMC patch