Fix for #1709