follow up fix for #1