remove now-unnecessary line in text.php