Minor edits to specs