Minor fixes to BOSCO section