Yes it is nice that you are fixing typos but this code is unrelated to this PR. In the future you should open up separate PR with just this fix so that we can merge it immediately. Trivial changes like these are great but you shouldn't include changes unrelated to your PR description inside your PR, plus the faster we can merge these quick changes in the better.