Fix for #693