Traders are funny.