Agreed. Could you add this to your PR?