removing extraneous whitespace in gravit