Include counters in spec