Minor doc change to Library.java