This comment is different from what is implemented