fix tiny formatting issues