fix for #87