one minor coding style fix.
minor coding style fixes.