fix for #9