Small style fix (from PR)