Correct the formatting of the directories of the library