* ggc.h (ggc_push_context): Fix comment.