minor documentation fix.