fix bug #287