Removed some PHP short tags