small fix
add control flow specs