Minor doc improv.