some small fixes to dots