Export thread

I have recently replaced the gear drive belt in my JD STX38 and it is slightly loose. Should this be the case? I am almost certain it is routed properly, just unsure on whether it should be slightly loose. Any help is appreciated.