diff --git a/kore/src/main/java/org/kframework/POSet.java b/kore/src/main/java/org/kframework/POSet.java
index 9fe39d18c14..5e466398cb5 100644
--- a/kore/src/main/java/org/kframework/POSet.java
+++ b/kore/src/main/java/org/kframework/POSet.java
@@ -239,7 +239,8 @@ private Map<T, Integer> computeConnectedComponents() {
    * not recompute the mapping and therefore take constant time.
    *
    * @return A lazily initialized map from elements to an integer in the range [0, N) indicating
-   *     which connected component that element belongs to.
+   *     which connected component that element belongs to, where N is the number of connected
+   *     components.
    */
   public Map<T, Integer> connectedComponents() {
     return connectedComponentsLazy.get();