#1915: #1914: corrected duplicate comment ids
opened by njr2128