Adding a few more encoding declarations