Minor formatting improvement