Hi Bertrand,

You're right; there is exactly one style of dashed circle available.
I've just changed this to allow for dotted and dashed circles. Again,
it'll appear the next time I post an update.

-- Bill