Hmmm, whitespace change, and it doesn't get rid of the extraneous whitespace.  (Sorry, my usual pet-peeve)