Minor documentation additions