fix for github problems