fix for #139