Minor whitespace style touchup.