Theme and language settings ignored when using gzip compression

The theme and language settings of the tinymce module are ignored when the gzip compressor is used.
Imho, the problem is that the module sets variables 'theme' and 'language' in its call to 'tinyMCE_GZ.init', while the tiny_mce_gzip.js looks for variables 'themes' and 'languages' instead (which default to 'simple,advanced' and 'en' respectively).
I changed tiny_mce_gzip.js as a workaround to read 'theme' and 'language' instead, but suspect that the module is at fault, and not the compressor code.