Dropped some comments

This is gratuitous