Hello,
Thank you for investigating our code reporting this issue.
Yes, we see that there is a typo in the key to one our theme options. But it is harmless bug and it is not necessary to fix it since when we will change this key all users after update may loose some configuration that stored in their databases.
Regards















