fix bug #12