Github bug #15