Fix bug introduced by me (Zeno)