minor coding style