fix for #7