Finally fixing bug #762.

No match.