cosmetic tidy of directory.php