Minor documentation stuff.