(Issue 3388) Fix outdated comment