Correct minor mistakes
Correct codomain of orthogonal projection
Merge pull request #3 from anherm/master

Correct minor mistakes