Did some prettifying.
Added a reference.