Clarifying comments and some minor fixes.