diff --git a/TestModels/SQSExtended/src/SQSExtendedImpl.dfy b/TestModels/SQSExtended/src/SQSExtendedImpl.dfy
index 3f638b392..ade7e00a8 100644
--- a/TestModels/SQSExtended/src/SQSExtendedImpl.dfy
+++ b/TestModels/SQSExtended/src/SQSExtendedImpl.dfy
@@ -1,6 +1,6 @@
 // Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0
-// Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
+
 include "../Model/PolymorphTutorialSqsextendedTypes.dfy"
 module AmazonSQSExtendedImpl refines AbstractPolymorphTutorialSqsextendedOperations {
   datatype Config = Config(