Suppress warning from Themex code