(Fx_synchronize): Reindent.