[[ RefactorSyntax ]] Fixes small but more-than-frequent memory leak