Can we make a nicer comment? Why is this needed and copy/pasted?