Minor documentation improvements about library notation