Remove spurious "