fix for #758