Follow-up to 4cd1ea5: fix crash