can you correct this manually then so that we can merge the PR?