fix bug #858