One little style fix