Original: Females have a body length of about 9 mm; males are slightly smaller.
Simplified: Females have a body length of about 9mm, males are slightly smaller.