Bug report for github