Minor style fix to keep github happy