Negligible style fix.