to_flop.xml: Some documentation fixes