I think it is ok to make it public, as the accessor for module info.