Repair bitrot and fix indentation bug