Rename Files in Tormenta

Forgot to rename in the last pull req.