This hopefully should fix failing CI