Fix bug #1434