just some superficial tidying