Formatting, added an assertion