Fix indenting in ex15