More conversions to formal register