Since it's such a simple tweak to a simple PR I've just amended c211eb1a02a7197f89d199c9952954759d1fb44b to give 5e67d57585b5d78fae7560cf06fc365b630dea16.