Minor style fix for previous commit