Fix failure introduced with previous commit