#1087: #1084: fixed incorrect syntax of comment anchors
opened by njr2128