prevent js mangling