Closing the bug since its fixed for the original reporter with an update, and the fact that no commenter is subscribed to this bug report.
Closing the bug since its fixed for the original reporter with an update, and the fact that no commenter is subscribed to this bug report.