We prove Pila and Wilkie's Counting theorem, following the original paper, but exploit cell decomposition more thoroughly to simplify the deduction from its main ingredients. Our approach in particular completely avoids 'regular' or C^1 smooth points, and related technology; which also allows simplifications around Pila's 'block family' refinement of the result.