One slight style fix