Dunno how that extra definition got in there