Minor doc tuning