Fixed formatting

auto-formatted, nothing but a simple fix of formatting