Minor codechanges in view.php.