diff --git a/analyzer/python/ikos/args.py b/analyzer/python/ikos/args.py
index c38a8671..a61508e7 100644
--- a/analyzer/python/ikos/args.py
+++ b/analyzer/python/ikos/args.py
@@ -126,7 +126,7 @@ def parse_argument(parser, name, choices, groups, default, value):
 class VersionAction(argparse.Action):
     def __call__(self, parser, namespace, values, option_string=None):
         print('ikos %s' % settings.VERSION)
-        print('Copyright (c) 2011-2019 United States Government as represented'
+        print('Copyright (c) 2011-2023 United States Government as represented'
               ' by the')
         print('Administrator of the National Aeronautics and Space '
               'Administration.')