another fix for #10