fix for #288