Use th-printf instead of Text.Printf