fix bug #302