Fix for stupid github