Fix dumb typo in jenkins fix I just did