Remove spurious "["