fix crash introduced by previous commit