Fix crash introduced by previous commit