More github fixes.