Fix #1339.