patch the bug Synonym