fix bug #1088