Revert "reverted spec"

This reverts commit 20567c0a6f402f6ac0209843a4ce78c7b4d1a30c.