Fix for last commit which github appended to the previous pull request
without warning me.