final minor change to pastebin.php