Whitespace corrections in bbxm code