more docs and mirror fix