Remove superfluous (and erroneous) type of a path.
Errata for 56bdb4b, unmarked.
(Removing a newline.)
Merge pull request #455 from cangiuli/issue-446

Fixing Section 2.9, closing #446.