minor autoformatter