Cosmetic, try to fix Jenkins failure