Move bugs to Github issues #1 and #2