jeffrey and adda, formatting changes.