Smaller fixes to specs