something about the coverage in the erlang code mentioned