Fix tiny typo in encoding declaration