oops, fix for #826