Update num_sup.erl