Fix for wrong control repo in docs and source