fix for #6