Locales, the locally fine construction and formal spaces