reformatted some erlang files