minor coding style wrt issue #38