fix for #493