patch for bug #132