Fix intro for Jenkins