Finally, patch #5.  This is another Ada patch, from Joel.

Tom