removed extra whitespace from the hand-edited file