Small github fixes