removed FIXME for total_symbols issue