fix infodiv timer in showjax