one minor coding style fix.