very small code format change