Test #8412 (again)

I forgot to git add a file.