Removing some extraneous spaces; no functional changes intended.