fix for #20