Vyleštění některých formulací.