Delete trailing whitespaces from previous commit

Rather inelegant...