Use shorthand php echo