Minor change to banner.php