diff --git a/src/TextClass.cpp b/src/TextClass.cpp
index a729fb58ae..b2b42f5203 100644
--- a/src/TextClass.cpp
+++ b/src/TextClass.cpp
@@ -751,6 +751,7 @@ TextClass::ReturnValues TextClass::read(Lexer & lexrc, ReadType rt)
 
 		case TC_IFCOUNTER:
 			ifcounter = true;
+			// fall through
 		case TC_COUNTER:
 			if (lexrc.next()) {
 				docstring const name = lexrc.getDocString();