testing fix for #12