A small style fix