codestyle: Change formulation.