minor coding style changes