fix auto-formatting issues