minor changes to pastebin.php