Fixing a unit test break due to Stage 3 #393 changes.
Fixing a unit test break due to Stage 3 #393 changes.

[Tests][Tools]

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