Print TLC's version with correct constant.
Print TLC's version with correct constant.

[Bug][TLC]

lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus