Two soundness bugs.

Yay...