debugging specs