Fix #715