another fix

I missed ...