fix typo in Misc.cpp