Comment reminding that NDEBUG does more than the info message