comments and simplifications for submission