some minor style fix