fix for #12