Remove comment: they are NOT initialized in util.cpp.