fix for #4