remove extraneous implementation information from the spec