just some minor house keeping