additional github fixes