fix bug #4.