Fix #711