diff --git a/src/cbmc/cbmc_parse_options.cpp b/src/cbmc/cbmc_parse_options.cpp
index 0a6d7bee2d2..e48e71b2d80 100644
--- a/src/cbmc/cbmc_parse_options.cpp
+++ b/src/cbmc/cbmc_parse_options.cpp
@@ -849,7 +849,7 @@ void cbmc_parse_optionst::help()
   // clang-format off
   std::cout <<
     "\n"
-    "* *   CBMC " CBMC_VERSION " - Copyright (C) 2001-2017 ";
+    "* *   CBMC " CBMC_VERSION " - Copyright (C) 2001-2018 ";
 
   std::cout << "(" << (sizeof(void *)*8) << "-bit version)";
 
diff --git a/src/goto-analyzer/goto_analyzer_parse_options.cpp b/src/goto-analyzer/goto_analyzer_parse_options.cpp
index e686facd388..75dbc2617ae 100644
--- a/src/goto-analyzer/goto_analyzer_parse_options.cpp
+++ b/src/goto-analyzer/goto_analyzer_parse_options.cpp
@@ -807,9 +807,8 @@ bool goto_analyzer_parse_optionst::process_goto_program(
 /// display command line help
 void goto_analyzer_parse_optionst::help()
 {
-  std::cout <<
-    "\n"
-    "* * GOTO-ANALYZER " CBMC_VERSION " - Copyright (C) 2017 ";
+  std::cout << "\n"
+               "* * GOTO-ANALYZER " CBMC_VERSION " - Copyright (C) 2017-2018 ";
 
   std::cout << "(" << (sizeof(void *)*8) << "-bit version)";
 
@@ -817,8 +816,8 @@ void goto_analyzer_parse_optionst::help()
 
   // clang-format off
   std::cout <<
-    "* *                Daniel Kroening, DiffBlue                * *\n"
-    "* *                 kroening@kroening.com                   * *\n"
+    "* *                  Daniel Kroening, DiffBlue                   * *\n"
+    "* *                   kroening@kroening.com                      * *\n"
     "\n"
     "Usage:                       Purpose:\n"
     "\n"
diff --git a/src/goto-programs/lazy_goto_functions_map.h b/src/goto-programs/lazy_goto_functions_map.h
index a49772c859a..70d4bc0b3f5 100644
--- a/src/goto-programs/lazy_goto_functions_map.h
+++ b/src/goto-programs/lazy_goto_functions_map.h
@@ -1,4 +1,4 @@
-// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
+// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
 
 /// \file
 /// A lazy wrapper for goto_functionst.
diff --git a/src/goto-programs/lazy_goto_model.cpp b/src/goto-programs/lazy_goto_model.cpp
index 4c0ee749554..e9b55fbe146 100644
--- a/src/goto-programs/lazy_goto_model.cpp
+++ b/src/goto-programs/lazy_goto_model.cpp
@@ -1,4 +1,4 @@
-// Copyright 2017 Diffblue Limited. All Rights Reserved.
+// Copyright 2017-2018 Diffblue Limited. All Rights Reserved.
 
 /// \file
 /// Model for lazy loading of functions
diff --git a/src/goto-programs/lazy_goto_model.h b/src/goto-programs/lazy_goto_model.h
index 3888fda1d10..f258473765e 100644
--- a/src/goto-programs/lazy_goto_model.h
+++ b/src/goto-programs/lazy_goto_model.h
@@ -1,4 +1,4 @@
-// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
+// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
 
 /// \file
 /// Model for lazy loading of functions
diff --git a/src/jbmc/jbmc_main.cpp b/src/jbmc/jbmc_main.cpp
index eb4c0974830..2dfc369e3d6 100644
--- a/src/jbmc/jbmc_main.cpp
+++ b/src/jbmc/jbmc_main.cpp
@@ -13,7 +13,7 @@ Author: Daniel Kroening, kroening@kroening.com
 
   JBMC
   Bounded Model Checking for Java
-  Copyright (C) 2017 Daniel Kroening <kroening@kroening.com>
+  Copyright (C) 2017-2018 Daniel Kroening <kroening@kroening.com>
 
 */
 
diff --git a/src/jbmc/jbmc_parse_options.cpp b/src/jbmc/jbmc_parse_options.cpp
index e1a598a6588..2bf4bffba44 100644
--- a/src/jbmc/jbmc_parse_options.cpp
+++ b/src/jbmc/jbmc_parse_options.cpp
@@ -817,9 +817,8 @@ bool jbmc_parse_optionst::process_goto_functions(
 /// display command line help
 void jbmc_parse_optionst::help()
 {
-  std::cout <<
-    "\n"
-    "* *   JBMC " CBMC_VERSION " - Copyright (C) 2001-2017 ";
+  std::cout << "\n"
+               "* *   JBMC " CBMC_VERSION " - Copyright (C) 2001-2018 ";
 
   std::cout << "(" << (sizeof(void *)*8) << "-bit version)";
 
diff --git a/src/util/journalling_symbol_table.h b/src/util/journalling_symbol_table.h
index 2fe3093d43d..7d0b495b782 100644
--- a/src/util/journalling_symbol_table.h
+++ b/src/util/journalling_symbol_table.h
@@ -1,5 +1,5 @@
 
-// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
+// Copyright 2016-2018 DiffBlue Limited. All Rights Reserved.
 
 /// \file
 /// A symbol table writer that records which entries have been updated
diff --git a/src/util/symbol_table.cpp b/src/util/symbol_table.cpp
index 4d26d1de9c9..1451d7aa810 100644
--- a/src/util/symbol_table.cpp
+++ b/src/util/symbol_table.cpp
@@ -1,4 +1,4 @@
-// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
+// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
 
 #include "symbol_table.h"
 
diff --git a/src/util/symbol_table.h b/src/util/symbol_table.h
index 8bd7cf7d797..f28ad73842c 100644
--- a/src/util/symbol_table.h
+++ b/src/util/symbol_table.h
@@ -1,4 +1,4 @@
-// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
+// Copyright 2016-2018 Diffblue Limited. All Rights Reserved.
 
 /// \file
 /// Symbol table
diff --git a/src/util/symbol_table_base.cpp b/src/util/symbol_table_base.cpp
index fbefd8d1080..642676dba43 100644
--- a/src/util/symbol_table_base.cpp
+++ b/src/util/symbol_table_base.cpp
@@ -1,4 +1,4 @@
-// Copyright 2017 Diffblue Limited. All Rights Reserved.
+// Copyright 2017-2018 Diffblue Limited. All Rights Reserved.
 
 #include "symbol_table_base.h"
 
diff --git a/src/util/symbol_table_base.h b/src/util/symbol_table_base.h
index b0a369c0736..b569da96c5a 100644
--- a/src/util/symbol_table_base.h
+++ b/src/util/symbol_table_base.h
@@ -1,4 +1,4 @@
-// Copyright 2017 Diffblue Limited. All Rights Reserved.
+// Copyright 2017-2018 Diffblue Limited. All Rights Reserved.
 
 /// \file
 /// Symbol table base class interface