Fix formatting, and change location of the Library instruction.