Clarification to "What Is Gruntz"