Minor, non-functionality changing, formatting fix