Fix #988