another tiny style fix