Bullet points not rendered properly

1) Open http://docs.jboss.org/cdi/spec/1.1/cdi-spec.pdf
2) Search for "*"

There are multiple occasions where the bullet point is not rendered properly.