Updates in comment-tagging.js