Fixed header as per #39 (closed)
Merge details
Mentions issue #39 (closed)
Thanks for this. Sorry, I know it was a nitpick.
merged
mentioned in commit 839837e0