Fixing some GitHub problems