David Blume
Fix comment, and update a URL.
David Blume commited 06ebb89 at 2019-10-10 22:51:50