Marking this bug report as fix released. Further improvement as mentioned by David Barth can be done in a new bug report for 12.10.
Marking this bug report as fix released. Further improvement as mentioned by David Barth can be done in a new bug report for 12.10.