another bug fix

I think? It seems to have disappeared…