Fix #1025.