A little documentation fix.