Fixing GitHub problem