Fix #1130.