Improve auto_spec in README