minor fix for #66