Fix for #735

fixes #735