tiny coding style changes