- minor fix for #10