Minor fixes in the simplex projector. And other minor stuff.