Don't use PHP short tags