fixing showsource.php