Fix #1171.