Misc. doc fixes following suggestions from Eli.