issue 458 fixed

This works fine now.  NOTE: only the developers and the issue reporter
can repeat the exact test, because it involves private data owned by
the reporter.