Github bug?