Fix typo in comment.
Updating of the development manual.