Yet another style fix.