Minor style fix.