Update miscellaneous.hpp