fix bug #14