Fix to make_sob_symbol