small changes, reformulations, etc.