Remove spurious definitions