Removing some comments in the spec