fix for #135