Just some whitespace formatting due to OCD