bug #17