I think it's fine to omit the implementation detail of the spec counter and move that comment into the code.