get rid of outdated comment, is not the case anymore