Minor patch for an Issue #832