minor: auto-format correction