fix encoding (I hope)