Trying to fix strange github behavior