Fix #1372.