Hm, some obsolete dev code. I removed it