another minor style fix