another little style fix