Added reproduction of bug #1625.