Some debugging. Added in a TODO as a reminder.