[dfmc,back-end] Clean up whitespace.