Minor doc fixes and cosmetica.