Fix about_symbols file