Rolled back file.

The mysterious bug in 5.19 is still there.