Fixing GitHub messup