fix for #10