Some updates to specs