some fixes and adventures with github