Correctly form XML, encode, use printf