Change some stuff in the library documentation