See discussion about bug-for-bug reproduction above.