Formatting improvements to the bug tracker