just cosmetic debugging stuff