I can see how it is an improvement. Did you consider sending a PR to help out? It’s usually easier and more time efficient for maintainers to accept and merge small changes like these than it is to do it themselves. 
1 Like
