fix bug #17