Added a forgotten label
Reformatting sourcecode
Corrected a \pageref
More reformatting