Fixing syntax error for CI #67922120