Issue #4661: commit and push again because last commit was wrong