#17: remove duplicated comment