Fix #721