clarified stuff about PHP tags