minor fix to controlflow.properties file