minor style fix.