Quick fix

A quick fix for a bad default encoding.