Trivial clarification for 'dead' function documentation