Minor asdoc comment tweak, for consistency with README.md.