fixing radius vs. area in graphics in https://de-bug.de/mag/9652.html