Fixing GitHub problems