Really add first test case, and fixed weird problems with GitHub