Since the original reporter has reported that this is fixed (a long time ago), I'm closing this bug report.
Since the original reporter has reported that this is fixed (a long time ago), I'm closing this bug report.