rejig of literate erlang