fix bug #963