Or are you saying that this pull request isn't the appropriate place to solve that problem? I assumed you were going to do it, since you mentioned it in the previous pull request, and the problem would be fixed by making changes to the same section.