Small changes to cart.php