bug-fix regarding history and critical symbols