Ah - I missed that, and it also caused the PR to fail! Thanks.