Use correct PHP tags