A little code style touch-up