Fixed make_sob_symbol