Fix priority of which font encoding is used.
Merge pull request #3075 from brendandahl/font-encoding

Fix priority of which font encoding is used.