diff --git a/prism/src/common/IntSet.java b/prism/src/common/IntSet.java
index c3ae7f2a..2f8f5452 100644
--- a/prism/src/common/IntSet.java
+++ b/prism/src/common/IntSet.java
@@ -116,7 +116,7 @@ public interface IntSet extends Iterable<Integer>
 	{
 		/** The wrapped BitSet */
 		private BitSet bs;
-		/** The cardinality of the underlying BitSet (cached, -1 = not yet computed */
+		/** The cardinality of the underlying BitSet (cached, -1 = not yet computed) */
 		int cardinality = -1;
 
 		/** Constructor */
diff --git a/prism/src/explicit/SCCComputer.java b/prism/src/explicit/SCCComputer.java
index 79902ec4..4a9da410 100644
--- a/prism/src/explicit/SCCComputer.java
+++ b/prism/src/explicit/SCCComputer.java
@@ -94,8 +94,9 @@ public abstract class SCCComputer extends PrismComponent
 	{
 		SCCInfo sccs = new SCCInfo(model.getNumStates());
 		SCCComputer sccComputer = SCCComputer.createSCCComputer(parent, model, sccs);
-		// Compute SCCInfo, including trivial SCCs in the subgraph obtained when only considering
-		// states in unknown
+		// Compute SCCInfo, possibly including trivial SCCs,
+		// restricted to the sub-graph obtained when only considering
+		// states in restrict (if not-null)
 		sccComputer.computeSCCs(!withTrivialSCCs, restrict);
 
 		return sccs;
@@ -105,7 +106,7 @@ public abstract class SCCComputer extends PrismComponent
 	 * Convenience method for functional iteration over the SCCs of a model.
 	 * <br>
 	 * For each non-trivial SCC, the given consumer's accept method is called
-	 * with a BitSet containing the state indizes of the states in the BSCC.
+	 * with a BitSet containing the state indizes of the states in the SCC.
 	 * <br>
 	 * Note: The BitSet may be reused during calls to {@code accept}. So,
 	 * if you need to store it, clone it.