Don't put =encoding utf8 in final document.

Needs to check for the other variations on utf; this is just a quick fix
for the synopses.