Ah, thank you. I had asked @gnarf why I was seeing that failure on the CI machine but not mine. I'll fix this.