Proposed patch for PR 7507 and PR 9289

[Richard Henderson]

On Fri, Jan 17, 2003 at 07:19:42PM +0100, Christian Ehrhardt wrote:
> the following patch will fix two high priority PRs namely 9289 and 7507.

Applied.


r~