[#664] Format file

* No change in code