Fix bug #1001890