* Minor style fix: