another small fix to specs