Commit d7f456ee176eee33f7ee42d704d464cc784667b0

Werner Lemberg 2015-09-26T08:37:14

Formatting, minor comment corrections.