Unbreak dejagnu.

Minor update included.