Update misc.hpp