This is an attempt to fix the github bug that I have been having