v1.3.7 incorrectly tagged in git repository

tag v1.3.7 should have been applied to commit 16fc65acc536d3788efe4c0554a2f52699fedc7f "Minor correction". (at least, that's what matches the 1.3.7 tarball). Instead, the tag was applied to HEAD, so it has a few more commits than what is shipped in version 1.3.7. -- "One disk to rule them all, One disk to find them. One disk to bring them all and in the darkness grind them. In the Land of Redmond where the shadows lie." -- The Silicon Valley Tarot Henrique Holschuh