Minor fixes to specs