patch for issue #751 in tracker