V13.0.3, Fixed trie, small formatting changes