diff --git a/chc/app/CHVersion.py b/chc/app/CHVersion.py
index 7499ea5..f09e65b 100644
--- a/chc/app/CHVersion.py
+++ b/chc/app/CHVersion.py
@@ -1 +1 @@
-chcversion: str = "0.2.0-2025-12-06"
+chcversion: str = "0.2.0-2026-02-02"
diff --git a/chc/cmdline/AnalysisManager.py b/chc/cmdline/AnalysisManager.py
index c681259..4a09e70 100644
--- a/chc/cmdline/AnalysisManager.py
+++ b/chc/cmdline/AnalysisManager.py
@@ -6,7 +6,7 @@
 #
 # Copyright (c) 2017-2020 Kestrel Technology LLC
 # Copyright (c) 2020-2022 Henny Sipma
-# Copyright (c) 2023-2024 Aarno Labs LLC
+# Copyright (c) 2023-2026 Aarno Labs LLC
 #
 # Permission is hereby granted, free of charge, to any person obtaining a copy
 # of this software and associated documentation files (the "Software"), to deal
@@ -350,7 +350,7 @@ def generate_and_check_file(
                     stdout=open(os.devnull, "w"),
                     stderr=subprocess.STDOUT,
                 )
-                print("\nResult: " + str(result))
+                print_status("\nGenerate-and-check: result: " + str(result))
             if result != 0:
                 chklogger.logger.error(
                     "Error in generating invariants for %s", cfilename)