Github bug #17