should we set this on the whole file, since it's the style convention?