Update Misc.php

This is not tested.