We forgot one...

Fixes #1527