Patch to remove the duplicate semi-colon