Fix the encoding directive (which I accidentally messed up in my prev commit)