fix bug #718