Fix #1043.