Add an encoding declaration