This is unrelated to the bug–please don't make arbitrary formatting changes.