Fix bad doc pointers