Fix #1384.