Fixed outdated stub that was sometimes breaking ci