another small style fix