Minor edit erlang timing.txt