fix for #254