Minor changes. Refractor