prove documentation fix

Minor fix for prove docs, --ext not boolean.