Correct codomain of orthogonal projection