minor coding style fix.