fixup previous commit

Author: Thomas Kiley

CODING_STANDARD.md

@@ -315,7 +315,7 @@ To avoid waiting until you've made a PR to find formatting issues, you can
 install clang-format locally and run it against your code as you are working.
 
 Different versions of clang-format have slightly different behaviors. CBMC uses
-clang-format-7.0 as it is available the repositories for Ubuntu 18.04 and
+clang-format-7 as it is available the repositories for Ubuntu 18.04 and
 Homebrew.
 To install on a Unix-like system, try installing using the system package
 manager: