Minor patch for an Issue #10