Fix: how can this happend?