Changes and fixes made to Dev.Manual and dev_setup