Fix #1144.