spec: fix deferrable checks