Follow-up fix for #3