Minor style fix for the previous commit