Update numbas.txt