Another documentation fix.