enable dispInfo() (Mario should make the logging system more flexible) - adrien