I guess they figured $1.37(or that vicinity) was a good time to cash in. I wonder what they paid for those shares?