This whitespace seems superfluous, but it might be due to some style guidelines you guys have.