update .flo for new semantics