Small bugfix on catalogo.php