Update supervisor.h