Update verbose.h