Update miscellaneous.h