format: slight simplification