Fix #1388