Small archive.php fix