Fix bug #1552