Whitespace/style cleanup.
Fix for possible overflow introduced in 0abbeebf61ddcfeb08fc690f1b1bcbd25acf0ee8.