one more minor style fix