Fix for something

I don't remember what. I forgot to commit it a loooong time ago.