Improve comment in comprehension.h