Port fix for #793