core: fix portability with g++ ; ui_semantic: fix typo