Brief workaround for evil issue #364.

Hope to throw away this script when it is fixed, some time in the next century.