Fix comment in support.h