Fixed another rename error. Jenkins should build.