minor style fix...