fix bug #13