Fix #1243.