Just a style fix