Fix #1194.