Another small style fix