Minor fix in the Library.mu.