Remove spurious ]