Potential fix for #700.