minor tweaks for _misc.php