Minor doc correction