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 .