Commit 37c72f66a56887ec25f4f541337b00e8ba69b9ee

Werner Lemberg 2016-12-25T22:55:25

Minor formatting.