Small correction, no effect on doc content