minor coding style corrections