Small fixes to rtl_flex