Fix for last commit which github appended to the previous pull request

without warning me.