Never wrong IMO to take profit. It is why we do this. .40 pop from 19.80 is worthwhile, given that TVIX is so overbought on the 5minute chart. Congrats.
I am in stalking mode as well.
Here's how market internals look at the 10 minute mark. Can go either way quickly.