Fix cast error for jenkins attempt.