Fixing PHP tags