diff --git a/mps/code/check.h b/mps/code/check.h
index 4ed2ba8b75a..825e15c7e48 100644
--- a/mps/code/check.h
+++ b/mps/code/check.h
@@ -1,7 +1,7 @@
 /* check.h: ASSERTION INTERFACE
  *
  * $Id$
- * Copyright (c) 2001-2013 Ravenbrook Limited.  See end of file for license.
+ * Copyright (c) 2001-2014 Ravenbrook Limited.  See end of file for license.
  * Portions copyright (C) 2002 Global Graphics Software.
  *
  * .aver: This header defines a family of AVER and NOTREACHED macros.
@@ -85,9 +85,6 @@
  *
  * TODO: Should also allow the check level variable to come from an
  * environment variable.
- *
- * TODO: CheckLevelDEEP asserts on arena creation with bootstrapping
- * problems.  It clearly hasn't been tried for a while.  RB 2012-09-01
  */
 
 enum {
@@ -327,7 +324,7 @@ extern unsigned CheckLevel;
 
 /* C. COPYRIGHT AND LICENSE
  *
- * Copyright (C) 2001-2013 Ravenbrook Limited <http://www.ravenbrook.com/>.
+ * Copyright (C) 2001-2014 Ravenbrook Limited <http://www.ravenbrook.com/>.
  * All rights reserved.  This is an open source license.  Contact
  * Ravenbrook for commercial licensing options.
  *