Fix bad doc