redundant comment: I think this is not needed