Minor formatting changes to test the auto-formatter