fix bug #11