Updated tl-core reference