diff --git a/src/V3LinkDot.cpp b/src/V3LinkDot.cpp
index 011e408b7..32a02e295 100644
--- a/src/V3LinkDot.cpp
+++ b/src/V3LinkDot.cpp
@@ -1165,8 +1165,8 @@ class LinkDotFindVisitor final : public VNVisitor {
                                        << nodep->prettyNameQ() << '\n'
                                        << (ansiWarn ? nodep->warnMore()
                                                           + "... note: ANSI ports must have"
-                                                            " type declared with the I/O (IEEE "
-                                                            "1800-2017 23.2.2.2)\n"
+                                                            " type declared with the I/O"
+                                                            " (IEEE 1800-2017 23.2.2.2)\n"
                                                     : "")
                                        << nodep->warnContextPrimary() << '\n'
                                        << findvarp->warnOther()
diff --git a/src/V3LinkResolve.cpp b/src/V3LinkResolve.cpp
index fdcfb1f80..ca4352e2b 100644
--- a/src/V3LinkResolve.cpp
+++ b/src/V3LinkResolve.cpp
@@ -119,8 +119,8 @@ private:
                 nodep->v3warn(E_UNSUPPORTED, "Unsupported: " << nodep->prettyNameQ());
             } else if (nodep->name() == "randomize") {
                 nodep->v3error(nodep->prettyNameQ()
-                               << " is a predefined class method; redefinition not allowed (IEEE "
-                                  "1800-2017 18.6.3)");
+                               << " is a predefined class method; redefinition not allowed"
+                                  " (IEEE 1800-2017 18.6.3)");
             }
             nodep->classMethod(true);
         }
diff --git a/src/V3Width.cpp b/src/V3Width.cpp
index 758b919fa..d3d9ce430 100644
--- a/src/V3Width.cpp
+++ b/src/V3Width.cpp
@@ -683,8 +683,8 @@ private:
             uint32_t times = constp->toUInt();
             if (times == 0
                 && !VN_IS(nodep->backp(), Concat)) {  // Concat Visitor will clean it up.
-                nodep->v3error("Replication value of 0 is only legal under a concatenation (IEEE "
-                               "1800-2017 11.4.12.1)");
+                nodep->v3error("Replication value of 0 is only legal under a concatenation"
+                               " (IEEE 1800-2017 11.4.12.1)");
                 times = 1;
             }
 
@@ -743,8 +743,8 @@ private:
             const uint32_t times = constp->toUInt();
             if (times == 0
                 && !VN_IS(nodep->backp(), Concat)) {  // Concat Visitor will clean it up.
-                nodep->v3error("Replication value of 0 is only legal under a concatenation (IEEE "
-                               "1800-2017 11.4.12.1)");
+                nodep->v3error("Replication value of 0 is only legal under a concatenation"
+                               " (IEEE 1800-2017 11.4.12.1)");
             }
             nodep->dtypeSetString();
         }