Add link as in issue #13, reformat a bit