Small fixes for "Careening a Leader"