Fix of previous update

I pushed a broken update, this fixes it, sorry.