spec: FIX failure due to constant def