Fix whitespace (patch provided by @danielrichman)