fix for #5