Tiny coding style changes.