Yes, that is exactly why I sent a PR, instead of directly pushing to master.