minor cleanups in specs