minor: auto-formatting