don't use php short tags