Documentation micro-repair

I guess this is right.