Fix bugs found diagnosing braus

Put Yes after No to conform to standard layout.