small fix in IDEA module