Add an anchor for comments

Fixes #718