Very small improvement to code formatting