Thanks for the contribution! This check has been on our todo list for a while.
Could you please create a clone of our repository and push your change there? Then request a code review with a link to the revision with your change. We'll do a code review and then merge it into our trunk.