fix bug #770