Actually fixes github this time