minor tune-ups -- should have no functional effects