Clarification of documentation of counter cache