Remove spurious duplicate