Remove spurious php code