minor comments, assertions