fixes to specs