Agreed. Thanks for the suggestion, I've amended it in de432e024b75.